A linear logic framework for multimodal logics

A framework for linear authorization logics

a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot

abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...

A linear programming framework for logics of uncertainty

Several logics for reasoning under uncertainty distribute probabil ity mass over sets in some sense These include probabilistic logic Dempster Shafer theory other logics based on belief functions and second order probabilistic logic We show that these logics are in stances of a certain type of linear programming model typically with exponentially many variables We also show how a single linear ...

Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension

In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary set of normal modal operators, focusing on the class of inclusion modal logics. This class of logics, first introduced by Fariñas del Cerro and Penttonen, includes some well-known non-homogeneous multimodal systems characterized by interaction axioms of the form [t1][t2] . . . [tn]φ ⊃ [s1][s2] ....

Linear Logic as a Framework for Specifying Sequent Calculus

In recent years, intuitionistic logic and type systems have been used in numerous computational systems as frameworks for the specification of natural deduction proof systems. As we shall illustrate here, linear logic can be used similarly to specify the more general setting of sequent calculus proof systems. Linear logic’s meta theory can be used also to analyze properties of a specified objec...